All the modules are already available in the Pycom firmware on the device, which is why they are underlined as errors in the editor. Currently, we have no intellisense on Pycom libraries. In the REPL, you can use tab to autocomplete the line Gijs